Lyapunov stabilization of discrete-time feedforward dynamics

The paper discusses stabilization of nonlinear discrete-time dynamics in feedforward form. First it is shown how to define a Lyapunov function for the uncontrolled dynamics via the construction of a suitable cross-term. Then, stabilization is achieved in terms of u-average passivity. Several constructive cases are analyzed